id{-}deq $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$atom2{-}deq